// FIXME: Delete the file
public class race_condition {}
